mechanical theorem proving
英 [məˈkænɪkl ˈθɪərəm ˈpruːvɪŋ]
美 [məˈkænɪkl ˈθiːərəm ˈpruːvɪŋ]
网络 机器定理证明; 定理机器证明
双语例句
- The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。 - Mechanical theorem proving for tensor with indexes in differential geometry
基于指标形式张量的微分几何定理机器证明 - Mechanical Theorem Proving in Geometry
几何定理的机器证明&每个中国数学教师都应懂得的方法 - Remainder method for the mechanical theorem proving in first-order predicate calculus
一阶谓词演算定理机器证明的余式方法 - Algebraic methods for mechanical theorem proving in many-valued logics
多值逻辑定理机器证明的代数方法 - Trigonometric identity and the mechanical theorem proving in elementary geometry
三角恒等式与初等几何定理的机械化证明 - Mechanical Geometry Theorem Proving Based on the Elimination Method with Decoupling of Leading Terms for Polynomial Set
基于多项式组主项解耦消元法的几何定理机器证明 - Mechanical theorem proving on complex numbers field
复数域上的机器定理证明 - The Application of Citing Instances Method in the Mechanical Theorem Proving
例证法在定理机器证明中的应用 - Traditionally, Mechanical theorem proving often use a logic representation, and then inference, these methods lack of flexibility and the proving processes are difficult to understand.
传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。 - In symbolic logic and mechanical theorem proving, semantic resolution PI-clash is related to the order of electrons.
符号逻辑与定理机器证明的研究中，语义归结PI碰撞与电子排列次序有关。 - Geometric constraint solving has applications in a wide variety of fields, such as mechanical engineering, chemical molecular conformation, geometric theorem proving, and surveying.
几何约束求解广泛应用于机械设计，化学分子形成，几何定理证明和勘探等诸多领域。